241. The Semantic Web - ISWC 2018 :
پدیدآورنده: edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial Intelligence (incl. Robotics),Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet),Language Translation and Linguistics.,Mathematical Logic and Formal Languages.,Anwendungssystem.,Datenverwaltung.,Ontologie (Wissensverarbeitung),Semantic Web.,Web Services.,Wissensmanagement.
رده :
QA76
.
9
.
D3
242. The Theory of Partial Algebraic Operations
پدیدآورنده: by E. S. Ljapin, A. E. Evseev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Coding theory.,Functional analysis.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
243. The Universal Turing Machine A Half-Century Survey
پدیدآورنده: edited by Rolf Herken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Mathematics.
244. <The> calculus of linguistic observations
پدیدآورنده: / by Gustav Herdan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematical linguistics.,Information theory.
رده :
P123
.
H4
245. The development of modern logic
پدیدآورنده: edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: History ، Logic
رده :
BC15
.
D48
2009
246. The elements of mathematical semantics /
پدیدآورنده: by Maurice V. Aldridge
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar,Language and logic,Mathematical linguistics,Pragmatics,Semantics-- Mathematical models
رده :
P325
.
5
.
M36
A43
1992
247. The mathematical theory of context free languages
پدیدآورنده: Ginsburg, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Mathematical linguistics , Sequential machine theory
رده :
QA
267
.
5
.
S4
G5
248. The mathematical theory of context free languages
پدیدآورنده : Ginsburg , Seymour ,7291-
موضوع : ، Mathematical linguistics,، Sequential machine theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
249. Themes from Wittgenstein and Quine /
پدیدآورنده: edited by Kai Büttner, Florian Demont, David Dolby, Anne-Katrin Schlegel (special topic I: Wittgenstein) and Dirk Greimann (special topic II: Quine)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Quine, W. V., (Willard Van Orman)-- Criticism and interpretation,Wittgenstein, Ludwig,1889-1951-- Criticism and interpretation,Analysis (Philosophy)
رده :
B808
.
5
.
T54
2014
250. Tile in the Russian
پدیدآورنده: Piotrovskii
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Linguistics -- Data processing,Mathematical linguistics,Information storage and retrieval systems,Cybernetics
رده :
P
98
.
P5
251. Time Series Analysis of Discourse :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Discourse analysis-- Mathematical models, Case studies.,Psycholinguistics.,Time-series analysis.,Discourse analysis-- Mathematical models.,LANGUAGE ARTS & DISCIPLINES / General.,Psycholinguistics.,Time-series analysis.
رده :
P302
.
6
252. Title in the Russian
پدیدآورنده: Statistika rechi i avotomaticheskii analiz teksta
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Linguistics -- Data processing,Language and languages -- World frequency,Mathematical linguistics
رده :
P
98
.
S8
253. Truth or Consequences :
پدیدآورنده: edited by J. Michael Dunn, Anil Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1990
254. Type logical grammar :
پدیدآورنده: by Glyn V. Morrill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
255. Uncertainty and intelligent information systems /
پدیدآورنده: editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
256. Using statistics in small-scale language education research :
پدیدآورنده: Jean L. Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Applied linguistics-- Research.,Applied linguistics-- Statistical methods.,Computational linguistics.,Corpora (Linguistics),Linguistics-- Statistical methods.,Applied linguistics-- Research.,Applied linguistics-- Statistical methods.,Computational linguistics.,Corpora (Linguistics),EDUCATION-- General.,EDUCATION-- Statistics.,FOREIGN LANGUAGE STUDY-- English as a Second Language.,Linguistics-- Statistical methods.
رده :
P138
.
5
.
T87
2014
257. Visual and text sentiment analysis through hierarchical deep learning networks /
پدیدآورنده: Arindam Chaudhuri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics.,Data mining.,Natural language processing (Computer science),Public opinion-- Data processing.,Computational linguistics.,COMPUTERS-- Database Management-- General.,COMPUTERS-- General.,Data mining.,Natural language processing (Computer science),Public opinion-- Data processing.
رده :
QA76
.
9
.
N38
260. تحلیل دادههای زبانشناسی
پدیدآورنده: / نویسنده آر.اچ. باین,عنوان اصلی: Analyzing linguistic data : a practical introduction to statistics using R, 2008,باین,Baayen
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: زبانشناسی ریاضی,Mathematical Linguistics,آر (زبان برنامهنویسی کامپیوتر),R (Computer program language ),زبانشناسی,Linguistics,زبانشناسی کامپیوتری,Computational linguistics, -- روشهای آماری, -- Statistical methods,a01,a01,a02,a02,a04,a04,a03,a03
رده :
P
۳۰۶
/
ه
۲
م
۲ ۱۳۹۷